457 research outputs found
Extended pointers for memory protection in single address space systems
With reference to a single address space paradigm of memory addressing, we identify a set of mechanisms aimed at preserving the integrity of the virtual space of a given process from erroneous or fraudulent access attempts originated from other processes. These mechanisms guarantee a level of protection that is, in many respects, superior to that of a traditional multiple address space environment. We introduce extended pointers as a generalization of the concept of a memory address, which includes a password and an access authorization. A universally known, parametric one-way function is used to assign passwords. A specialized address translation circuitry supports memory reference and protection at the hardware level. A small set of protection primitives forms the process interface of the protection system. An indication of the flexibility of the proposed protection paradigm is given by applying extended pointers to the solution of a variety of protection problems
Neural networks for driver behavior analysis
The proliferation of info-entertainment systems in nowadays vehicles has provided a really cheap and easy-to-deploy platform with the ability to gather information about the vehicle under analysis. With the purpose to provide an architecture to increase safety and security in automotive context, in this paper we propose a fully connected neural network architecture considering positionbased features aimed to detect in real-time: (i) the driver, (ii) the driving style and (iii) the path. The experimental analysis performed on real-world data shows that the proposed method obtains encouraging results
Use of psychiatric inpatient services by heavy users: Findings from a national survey in Italy
Indagine epidemiologica nazionale sull'uso dei SPDC da parte dei pazienti piĂą gravi sul versante dell'uso dei Serviz
Ukrainian refugee crisis management in the Local Health Authority Roma 1: the challenges of implementing public health policies and lessons learned
Background: The conflict between Russia and Ukraine has strained the health systems of countries that welcome war refugees on all levels, from national to local. Despite the Public Health guidelines regarding assistance being published on the topic, the scientific literature currently lacks evidence on the experience of applying theory in practice. This study aims to describe evidence-based practices that were implemented and to provide a detailed description of emerging problems and solutions pertaining Ukrainian refugee assistance in the context of one of the biggest Local Health Authorities in Italy (LHA Roma 1). Methods: LHA Roma 1 developed a strategic plan based on local expertise, national and international guidelines to ensure infectious disease prevention and control, as well as continuity of care for non-communicable diseases and mental health. Results: The insertion of Ukrainian refugees in the National Health System through an identification code assignment and other services such as COVID-19 swab and vaccination were provided either in one of the three major assistance hubs or in local district level ambulatories spread throughout the LHA. Many challenges were faced during the implementation phase of the outlined practice guidelines, which required sensible and timely solutions. These challenges include the necessity of rapid resource provision, overcoming linguistic and cultural barriers, guaranteeing a standard of care across multiple sites and coordination of interventions. Public Private Partnerships, the creation of a centralized multicultural and multidisciplinary team and the mutually beneficial collaboration with the local Ukrainian community were essential to guarantee the success of all operations. Conclusions: The experience of LHA Roma 1 helps shed light on the importance of leadership in emergency settings and how a dynamic relationship between policy and practice would allow each intervention to be modulated according to the local environment, to better realize the potential of local realities to provide appropriate health interventions to all those in need
The CUORE Cryostat: A 1-Ton Scale Setup for Bolometric Detectors
The cryogenic underground observatory for rare events (CUORE) is a 1-ton
scale bolometric experiment whose detector consists of an array of 988 TeO2
crystals arranged in a cylindrical compact structure of 19 towers. This will be
the largest bolometric mass ever operated. The experiment will work at a
temperature around or below 10 mK. CUORE cryostat consists of a cryogen-free
system based on pulse tubes and a custom high power dilution refrigerator,
designed to match these specifications. The cryostat has been commissioned in
2014 at the Gran Sasso National Laboratories and reached a record temperature
of 6 mK on a cubic meter scale. In this paper, we present results of CUORE
commissioning runs. Details on the thermal characteristics and cryogenic
performances of the system will be also given.Comment: 7 pages, 2 figures, LTD16 conference proceedin
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems
In the last two decades some methods and tools have been proposed to identify the Design Pattern (DP) instances implemented in an existing Object Oriented (OO) software system. This allows to know which OO components are involved in each DP instance. Such a knowledge is useful to better understand the system thus reducing the effort to modify and evolve it. The results obtained by the existing methods and tools can suffer a lack of completeness or precision due to the presence of false positive/negative. Model Checking (MC) algorithms can be used to improve the precision of DP's instances detected by a tool by automatically refining the results it produces. In this paper a MC based technique is defined and applied to the results of an existing DPs mining tool, called Design Pattern Finder (DPF), to improve the precision by verifying automatically the DPs instances it detects. To verify and assess the feasibility and the effectiveness of the proposed technique, we carried out a case study where it was applied on some open source OO systems. The results showed that the proposed technique allowed to improve the precision of the DPs instances detected by the DPF tool
The CUORE cryostat: an infrastructure for rare event searches at millikelvin temperatures
The CUORE experiment is the world's largest bolometric experiment. The
detector consists of an array of 988 TeO2 crystals, for a total mass of 742 kg.
CUORE is presently taking data at the Laboratori Nazionali del Gran Sasso,
Italy, searching for the neutrinoless double beta decay of 130Te. A large
custom cryogen-free cryostat allows reaching and maintaining a base temperature
of about 10 mK, required for the optimal operation of the detector. This
apparatus has been designed in order to achieve a low noise environment, with
minimal contribution to the radioactive background for the experiment. In this
paper, we present an overview of the CUORE cryostat, together with a
description of all its sub-systems, focusing on the solutions identified to
satisfy the stringent requirements. We briefly illustrate the various phases of
the cryostat commissioning and highlight the relevant steps and milestones
achieved each time. Finally, we describe the successful cooldown of CUORE
Measurement of the Two-Neutrino Double Beta Decay Half-life of Te with the CUORE-0 Experiment
We report on the measurement of the two-neutrino double beta decay half-life
of Te with the CUORE-0 detector. From an exposure of 33.4 kgy of
TeO, the half-life is determined to be = [8.2 0.2
(stat.) 0.6 (syst.)] 10y. This result is obtained after a
detailed reconstruction of the sources responsible for the CUORE-0 counting
rate, with a specific study of those contributing to the Te
neutrinoless double beta decay region of interest.Comment: Corrected typo in section 9: 3.43E5 Bq/kg should have read 3.43E-5
Bq/k
Analysis Techniques for the Evaluation of the Neutrinoless Double-Beta Decay Lifetime in Te with CUORE-0
We describe in detail the methods used to obtain the lower bound on the
lifetime of neutrinoless double-beta () decay in Te and
the associated limit on the effective Majorana mass of the neutrino using the
CUORE-0 detector. CUORE-0 is a bolometric detector array located at the
Laboratori Nazionali del Gran Sasso that was designed to validate the
background reduction techniques developed for CUORE, a next-generation
experiment scheduled to come online in 2016. CUORE-0 is also a competitive
decay search in its own right and functions as a platform to
further develop the analysis tools and procedures to be used in CUORE. These
include data collection, event selection and processing, as well as an
evaluation of signal efficiency. In particular, we describe the amplitude
evaluation, thermal gain stabilization, energy calibration methods, and the
analysis event selection used to create our final decay search
spectrum. We define our high level analysis procedures, with emphasis on the
new insights gained and challenges encountered. We outline in detail our
fitting methods near the hypothesized decay peak and catalog
the main sources of systematic uncertainty. Finally, we derive the
decay half-life limits previously reported for CUORE-0,
yr, and in combination with the Cuoricino
limit, yr.Comment: 18 pages, 18 figures. (Version 3 reflects only minor changes to the
text. Few additional details, no major content changes.
Search for Neutrinoless Double-Beta Decay of Te with CUORE-0
We report the results of a search for neutrinoless double-beta decay in a
9.8~kgyr exposure of Te using a bolometric detector array,
CUORE-0. The characteristic detector energy resolution and background level in
the region of interest are FWHM and ~counts/(keVkgyr), respectively. The
median 90%~C.L. lower-limit sensitivity of the experiment is and surpasses the sensitivity of previous searches. We find
no evidence for neutrinoless double-beta decay of Te and place a
Bayesian lower bound on the decay half-life, ~ at 90%~C.L. Combining CUORE-0 data with the 19.75~kgyr
exposure of Te from the Cuoricino experiment we obtain at 90%~C.L.~(Bayesian), the most stringent
limit to date on this half-life. Using a range of nuclear matrix element
estimates we interpret this as a limit on the effective Majorana neutrino mass,
-- .Comment: 6 pages, 5 figures, updated version as published in PR
- …